The intersection form of a smooth 4-manifold