An XPath for JSON