when was the coal crusher invented