A modeling study on the revere cycle defrosting of an air source heat pump with the melted frost downwards flowing away and local drainage