An optimization-based framework for automated market-making · Study