how long is the cable car ride to sentosa?