Sterilisatie van de man (vasectomie)