the process of mining gypsum