Exact Soft Analytical Side-Channel Attacks using Tractable Circuits