Gen. John Allen, former top military leader in Afghanistan, retiring