Implicit Runge-Kutta formulae for the numerical integration of ODEs