Pemrosesan dan pemanfaatan batu bara