PHP IP address handling library