An Application of Agent-Based Modeling to Market Structure Policy: The Case of the U.S. Tick Size Pilot Program and Market Maker Profitability