"High-gender-diversity companies…have outperformed, on average, less diverse companies over the past five years," says Sarah Lucas, Head of Platforms and Infrastructure at William Hill Plc.