Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications