the most advanced large-scale coal mining machinery