Vertical Mixing in the Fully Developed Turbulent Layer of Sediment-Laden Open-Channel Flow