Efficient Propagators for Global Constraints