Google’s Stock Climbed After It Fired 12,000 Employees—But What Did They Get Out of It?