Phân bố tiêu hao công suất mũi khoan quay pdc đường kính nhỏ dùng khoan tháo khí, thoát nước trong mỏ than hầm lò - Tạ, Ngọc Hải (2023)