Text this: The monadic second-order logic of graphs XVI : Canonical graph decompositions