The contractor time–cost–credit trade‐off problem: integer programming model, heuristic solution, and business insights | Synapse