It’s not just Google — many major tech companies are struggling with diversity