Gender composition and share of management: Tipping points in US workplaces, 1980–2005