Heterotic string/F-theory duality from mirror symmetry