why is coal used for lime mining