the mining processing of limestone