Procedures for Renumbering an IPv6 Network without a Flag Day