Constraint Logic Programming with Polynomial Constraints over Finite Domains