Text this: Tight Polynomial Worst-Case Bounds for Loop Programs