عملية التعدين للحجر الجيري