Exploring Runge-Kutta formulas with a computer algebra system