tugas pokok operator tambang batubara