Formalization and Productivity: Firm-Level Evidence from Viet Nam