On the tidal resource of the Pentland Firth