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