Trade-off Between Computation Time and Number of Rules for Fuzzy Mining from Quantitative Data