Shock/turbulent boundary-layer interaction with wall function boundary conditions