How large are IPv4 addresses?