home > > what is the mining process in making cement