Design a URL shortening service similar to bit.ly. The system should generate globally unique short links, perform redirects at low latency at massive scale, support link expiration and analytics, and remain highly available with no single point of failure.