A electro-termodynamic model for the analysis of the pollution flashover performance of cylindrical insulators