A Model of a Displacement Ventilation/Chilled Ceiling Cooling System Suitable for Annual Energy Simulation