Asymptotically Valid and Exact Permutation Tests Based on Two-Sample U-Statistics