Modeling and simulation of high temperature superconducting fault current limiters inserted in a distribution level power system