Randstad jumps to 9-month high after earnings beat as hiring recovery gains pace