the use of gypsum in making cement