Ab initio prediction of materials properties with CRYSTAL: MOF-5 as a case study