Text this: Exact Overlap Rate Analysis and the Combination with 4D BIM of Time-Cost Tradeoff Problem in Project Scheduling