Modelica units based on quantity calculus