Economic impact assessment of rinderpest control in Africa