Edinburgh royal mile during the festival