River basin salinity management via the ASTRAN method: I. Model development☆