Electricity supply to offshore oil and gas platforms from renewable ocean wave energy: Overview and case study analysis