Trading Strategies of a Leveraged ETF in a Continuous Double Auction Market Using an Agent-Based Simulation.