A modelling study of the tidal stream resource of the Pentland Firth, Scotland