New technological frontiers in ocean mixing