Depth-bounded Epistemic Logic