Describir: Process Variations and Probabilistic Integrated Circuit Design