Measurement and modeling of sulfur trioxide formation in a flow reactor under post-flame conditions