IBM snijdt duizenden banen in het vierde kwartaal