Polynomial kernels for Proper Interval Completion and related problems