Specification and tools for representing HDF5 in JSON