what is the mining of dolomite