K-Level Reasoning with Large Language Models