Freeze: engineering a fast repeater insertion solver for power minimization using the ellipsoid method