What Is Pairs Trading and How Do AI Systems Find the Matches?