how do people mine for gypsum