Companies led by women CEOs have larger revenues than those led by men