Electromagnetic Modeling of Superconductors with Commercial Software: Possibilities with Two Vector Potential-Based Formulations