沈良明:Semipositive metrics in non-archimedean geometry（I）-basic introduction to models of varieties over DVF and projective Berkovich spaces