Humans account for cognitive costs when finding shortcuts: An information-theoretic analysis of navigation