Episiotomy: a form of genital mutilation