Collapsible Pushdown Graphs of Level 2 are Tree-Automatic (Logical Methods in Computer Science, 2013)