Tidal Energy: History, Types, Future and Case Studies