Como o IPv6 é especificado?