Extraction and search of chemical formulae in text documents on the web