How we could close tech’s gender gap in a decade