Synthetic eddy generation and modelling of turbine operation in a turbulent tidal flow