TSE launches high-speed derivatives-trading platform