Statistical analysis and agent-based microstructure modeling of high-frequency financial trading