Zaslat SMS: Finite element analysis of a current density–electric field formulation of Bean's model for superconductivity