Text this: The performance of tunnel-boring machines in rock /