Evaluation of a Convection-Permitting Modeling of Precipitation over the Tibetan Plateau and Its Influences on the Simulation of Snow-Cover Fraction