Laws or Luck? Understanding Rising Formality in Brazil in the 2000s