为什么软件都是DMG格式?