An Optimization-Based Framework for Automated Maket-Making