Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form