STJ: Parte do cônjuge não executado deve ser calculada sobre o valor de avaliação do imóvel arrematado em leilão