Theta vacua, QCD sum rules, and the neutron electric dipole moment