Cryptocurrency Pair Trading: Mathematical Analysis and Data-Driven Strategies