Assessing path-following performance for Unmanned Marine Vehicles with algorithms from Numerical Commutative Algebra