Exa: Structured JSON Search for Programmatic Analysis