machines used to mine gypsum