perangkat lunak untuk penambangan batu bara