Does board gender diversity reduce workplace sexual harassment?