Behind the scenes in SciFinder: The challenges of matching simple English phrases to references in a large database