Smart airports market to his $13 billion by 2020