Technical and managerial guidelines for vasectomy services (World Health Organization, 1988)