How does salinity shape ocean circulation and ice geometry on Enceladus and other icy satellites? | Synapse