The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic