what type of mining is used for gypsum