Modeling methodology for a HTS flux pump using a 2D H-formulation