Ocean mixing in a shelf sea driven by energetic internal waves