Protocol buffer definitions, making HLT data specifications concrete