Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry