An Axiomatization of Topological Boolean Algebras