Analysis on the Man-Machine-Environment Collaborative Teaching Method for Mining Engineering Major.