Fuzzy Fault Trees Formalized