Development, Calibration and Validation of A Dynamic Modeling Framework for Air-Source Heat Pumps Under Cycling of Frosting and Reverse-Cycle Defrosting