Sony is buying Bungie, the developer of Destiny and original creator of Halo – The Verge