Is paid menstrual leave a good idea?