Graph Entropy on Fault Trees