Using Mathematica to solve ODEs