a inventor of tidal mills in 7ht century