Computational Study of Nb-Doped-SnO2/Pt Interfaces: Dopant Segregation, Electronic Transport, and Catalytic Properties