Mechanistic modeling of destratification in cryogenic storage tanks using ultrasonics.