Lattice-dynamical and ground-state properties ofCaF2studied by inelastic neutron scattering and density-functional methods