On Global Regularity and Boundary Layer Separation of Steady Prandtl Equations