The performance of tunnel-boring machines in rock (SP62)