Convergence of Finite Elements for Transonic Potential Flows