Streaming Submodular Maximization under a k-Set System Constraint