history development of hammer mills