#ChangePays: There were more male CEOs named John than female CEOs