Shareholders are pushing Google to diversify its executive committee