how do you mine for gypsum