rock mechanical aspects of roadheader excavation