Global $C^\infty$ Regularity of the Steady Prandtl Equation