Turbulent boundary-layer properties downstream of the shock-wave/boundary-layer interaction