Specification for the OpenXC JSON message format