Generalized covariation for Banach space valued processes, Itô formula and applications