A numerical study of haline convection beneath leads in sea ice