PHP: IP to BIGINT