Reopening International Borders with Smart Contact Tracing