Some Applications of Concrete to Underground Construction