Just one in ten CEOs of the world’s largest tech firms is female