PHP/Redis URL Shortner