Changi Airport ranked 5th busiest airport by international traffic in 2023