The numbers behind Andy Murray reaching world number one