The expressive power of CHR with priorities