lo que es la minería dolomita