a MySQL UDF for handling JSON