ما هو الحجر الجيري يستخدم لفي التعدين