Microsoft hires former Meta exec to bolster AI supercomputing team