Localic Galois theory