Christopher Mims: Joe Biden’s 5 Tech Priorities (Wall Street Journal)