The Wear of Tunnel Boring Machine Excavation Tools in Rock