A desapropriação judicial privada fundada na posse-trabalho como instrumento de efetivação da função social da propriedade: análise do caso da favela Pullman no Município de São Paulo/SP