A finite element formulation for steady transonic Euler equations