Models of non-Boussinesq lock-exchange flow