Discovery and Recognition of Formula Concepts using Machine Learning