Specifications of the mzDB file format