Tor: How a military project became a lifeline for privacy