Soft constraint abstraction based on semiring homomorphism