A semi-theoretical model for energy efficiency assessment of air source heat pump systems