Testing models of step formation against observations of channel steps in a steep mountain stream