Models of aggradation versus progradation in the Himalayan Foreland