F-manifolds and quantum cohomology