Assessing path-following performance for unmanned marine vehicles with algorithms from numerical commutative algebra