Text this: Maximizing the Total Weighted Operating Time for Surgery Scheduling via Linear Program Randomized Rounding Algorithms.