hard rock mining for cement manufacturing