method of mining gypsum