How Does the RIPE NCC Handle Recovered IPv4 Addresses?