Relative stability of F-covered TiO2 anatase (101) and (001) surfaces from periodic DFT calculations and ab initio atomistic thermodynamics