Vertical Velocity Distribution in Open-Channel Flow with Rigid Vegetation