Stone's representation theorem for distributive lattices