Comparison of Void Fraction Correlations for Different Flow Patterns in Upward Vertical Two-Phase Flow