I've reached the point where I need to acquire a Mac Mini to further develop the dmd AArch64 code generator. They're expensive, so I don't want to buy the wrong one. Which model should I obtain?