Microsoft’s $7.5 billion video game deal includes Dallas-based developers