Fixed point theorems via generalized F -contractions with applications to functional equations occurring in dynamic programming