PHP utilities for dealing with IPv4 and IPv6 addresses