Transformer modeling in ATP: Internal faults & high-frequency discretization