Panetta: US ground forces would be cut by 100,000