Modern Tunneling, With Special Reference to Mine and Water-Supply Tunnels