Calabi-Yau 4-folds of Borcea-Voisin type from F-theory