Fault trees on a diet: automated reduction by graph rewriting