Gravity currents produced by lock exchange | Synapse