The MySQL JSON data type