FFORT: A Benchmark Suite for Fault Tree Analysis