DS-Lite and NAT64 fragmentation