The dynamics of an energetic tidal channel, the Pentland Firth, Scotland