Polyhedral Specification and Code Generation of Sparse Tensor Contraction with Co-iteration