Tech company's 16,000 workers lose their 401(k) match so the company can bet on AI — and they're not alone