Tỷ lệ đóng góp của ngành dịch vụ vào GDP của Singapore hiện nay chiếm khoảng bao nhiêu?