US officially leaves Afghanistan, marking the end of a 20-year war