Inductive Process Tree Discovery