Introduction: Electricity from Wave and Tide