A Stochastic Control Approach to Option Market Making