process of gypsum mining for cement manufacturing