Wolfram fortifies SystemModeler with more libraries