symODE2: Symbolic analysis of second-order ordinary differential equations with polynomial coefficients