Computably enumerable boolean algebras