Google puts lots of effort into hiring and promoting women, and attracting them into tech.