YANG Data Model for SRv6