Drilling and excavation technologies for the future (National Academy Press, 1994)