A Linear Time Approximation Algorithm for Interval Coloring of Proper Interval