ba loại hình khai thác than và định nghĩa