The shortage of women in tech is a problem for both businesses and societies. Here’s what managers need to know