Analytical methods for mapping river bathymetry from multi-spectral satellite images