Full VEXnet protocol specification?