Title: The history and development of coal cutting machinery