Hydrogen storage in Laves phases: First principles study of electronic structure and formation energies in HfV2 hydrides