A theoretical basis for salinity intrusion in estuaries