Performance Analysis of Tunnel Boring Machines for Rock Excavation