On the structure of turbulent flow over a progressive water wave: theory and experiment in a transformed, wave-following co-ordinate system