when were the hammer mills invented