A Modelica-Based Model Library for Building Energy and Control Systems