Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality