Title: Laboratory studies of dynamic rock fracture and in-situ measurements of cutter forces for a boring machine