Pairs Trading, Mean-variance analysis, Time inconsistency, Dynamic optimality, Ornstein-Uhlenbeck (OU) process