Algorithms for Constructing Computably Enumerable Sets