Collaborative mining using different equipment for a coal seam varying in thickness in a long wall working face. (2016)