Direct Numerical Simulation of a Turbulent Channel Flow with Forchheimer Drag