IBM will lay off up to 10,000 jobs in Europe