equipment used to mine gypsum