Zaslat SMS: An algebraic theory of complexity for valued constraints: Establishing a Galois connection