A Systematic Stochastic Petri Net Based Methodology for Transformer Fault Diagnosis and Repair Actions