Text this: FO Model Checking of Interval Graphs