Dimensioning the Elephant: An Empirical Analysis of the IPv4 Number Market