how gypsum extract from mine rock