Monadic second-order definable graph orderings (Logical Methods in Computer Science, 2014)