Library for storing, indexing and querying JSON documents in MySQL