FO Model Checking of Interval Graphs (Logical Methods in Computer Science, 2015)