An Abstract Specification of VoxML as an Annotation Language