methods used to mine gypsum