Spherical 2-Categories and 4-Manifold Invariants☆