Formation of nickel-platinum silicides on a silicon substrate: Structure, phase stability, and diffusion from ab initio computations