Is Apple’s Mac mini worth buying?