Theoretical logic and empirical evidence of the functional transformation of residential land under different village types