Empirical correlations and CFD simulations of vertical two-phase gas¿liquid (Newtonian and non-Newtonian) slug flow compared against experimental data of void fraction