Refinement monoids, Vaught monoids, and Boolean algebras