The available power from tidal stream turbines in the Pentland Firth