2D massless Dirac Fermi gas model of superconductivity in the surface state of a topological insulator at high magnetic fields