IBM to lay off 100,000 US workers