With stoning the devil, pilgrims perform Hajj’s final ritual