history of sand making machine