التعدين المتعلق بالحجر الجيري