the use of truck in a coal mine