Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic