The next Mac mini: Smaller, speedier model due later this year