Firms, Informality, and Development: Theory and Evidence from Brazil