Global C 1 ,α Regularity for Monge–Ampère Equation and Convex Envelope