Estimate of the tidal stream power resource of the Pentland Firth