Contextualized Formula Search Using Abstract Meaning Representation