Specification and Performance Optimisation of Real-time Trading Strategies for Betting Exchange Platforms