types of mining for gypsum