Modeling high-frequency limit order book dynamics with support vector machines