Effects of river discharge and high-tide stage on salinity intrusion in the Weeki Wachee, Crystal, and Withlacoochee River estuaries