Do Investors Value Workforce Gender Diversity?