A combinatorial characterization of S^3 x S^1 among closed 4-manifolds