High-frequency market-making