mining machines s mining operations in indonesia