The Wall Street Journal: Challenge to Brexit begins in U.K. high court