Deep Excavation Monitoring: Methods, Sensors, and Data