Graph structure and monadic second-order logic