Công nghệ cơ giới hóa khai thác than hầm lò trên thế giới và kết quả áp dụng tại các mỏ than hầm lò tại Việt Nam