A rigorous framework for convergent net weighting schemes in timing-driven placement