Khovanov homology in 4-manifolds