Modeling of SO3 formation and depletion processes in coal-fired boilers