Existence and convergence of a discontinuous Galerkin method for the compressible three-phase flow problem in porous media.