The Mac mini isn’t dead yet, says Tim Cook