Supersymmetric Surface Operators, Four-Manifold Theory and Invariants in Various Dimensions