Title: Analysis of Superconducting Electromagnetic Finite Elements Based on a Magnetic Vector Potential Variational Principle