Oceanic mixing by breaking internal waves