Does the use of controlled lab equipment by foreign nationals constitute a deemed export?