4-manifolds and topological modular forms