what is karachi automated trading system forex d2finition