A Time-Domain Analysis Model for Modular-Multilevel-Based Grid-Forming Converters in Isolated Power Supply