mining and extraction of gypsum