The Problem of Calibrating an Agent-Based Model of High-Frequency Trading