khi máy nghiền than được phát minh