DFT study of electronic and redox properties of TiO2 supported on olivine for modelling regolith on Moon and Mars conditions