Earth and Rock Excavation. a Practical Treatise by