A high-frequency trading model with mean-reversion