Closure operators and Galois theory in lattices