Automated Layout-Inclusive Synthesis Of Analog Circuits Using Symbolic Performance Models