process of rock mining for construction