Text this: A Polynomial Algorithm for Weighted Toughness of Interval Graphs