The importance of internal waves for mixing in a stratified estuarine tidal flow