4,000 British troops to pull out of Afghanistan next year