SearchOnMath: search engine for mathematical formulas