Implementation and evaluation of the International Electrotechnical Commission specification for tidal stream energy resource assessment: A case study