Statistical modeling of compressible turbulent channel flow