Email Record: The performance of tunnel-boring machines in rock /