Analyzing Japanese Cleft Construction in Combinatory Categorial Grammar