Comparison of Constitutive Laws for Modeling High-Temperature Superconductors