A Formal Optimization-Oriented Design Framework for Predictive Extrusion-Based 3D Bioprinting | Synapse