General Petraeus: 30,000 troops may be able to leave Iraq by next summer