A fixed point theorem for  generalized contractive type set-valued mappings with application to nonlinear fractional differential inclusions