The principles and practice of canal and river engineering /