Large-Eddy Simulation of Shock/Boundary-Layer Interaction