history pedal operated stone mill