A Linear Algorithm for Unit Interval Graph Recognition