Interplay between carbohydrate and lipid in recognition of glycolipid antigens by natural killer T cells