Direct Numerical Simulation and Large-Eddy Simulation of Supersonic Channel Flow