Жоғары өнімділіктегі қалыңдықтағы тау-кен машиналары: көмірді тиімді өндіру үшін озық технология