Theoretical study on the atmospheric formation of sulfur trioxide as the primary agent for acid rain