laporan perangkat lunak manajemen pertambangan batu