Changi airport sees record passenger numbers in 2017