Circuit models and SPICE macro-models for quantum Hall effect devices