Superconducting axisymmetric finite elements based on a gauged potential variational principle—I. Formulation