Overview of tourism activities in Sentosa, Singapore