Formal specification of genome interval relations