kind of mining for gypsum