Algorithmic Lie Theory for Solving Ordinary Differential Equations