Validation of void fraction models and correlations using a flow pattern transition mechanism model in relation to the identification of annular vertical downflow in-tube condensation of R134a ☆