Two-Variable Logic with Two Order Relations (Logical Methods in Computer Science, 2012)