what is gypsum mined for