Text this: An SQP and Branch-and-Bound Based Approach for Discrete Sizing of Analog Circuits