High-frequency trading in a limit order book