Formalizing planning and information search in naturalistic decision-making