Exact, Tractable Inference in the Sigma Cognitive Architecture via Sum-Product Networks