Duality theory for distributive lattices