Modeling and the Road towards True Synthesis of Analog Integrated Circuits