formalidad de viviendas