Topological duality for distributive lattices, and applications