Measuring lateral heat flux across a thermohaline front: A model and observational test