Closed form solution to simultaneous buffer insertion/sizing and wire sizing