Stone's representation theorem for Boolean algebras