benefisiasi pengolahan tanaman batugamping pada pertambangan