International visitors to US up slightly in 2017