Aspen Plus – SO₂ Oxidation to SO₃: Choosing EOS & Reactor Setup (PR vs SRK?)