The descriptive complexity approach to LOGCFL