Is legalized land tenure necessary in slum upgrading? Learning from Rio's land tenure policies in the Favela Bairro Program