Repairable Fault Tree for the Automatic Evaluation of Repair Policies