Women leave tech careers more often than other careers, but there’s much leaders can do to keep women on board.