News iPhone 12 mini production reportedly halted — but that shouldn’t impact iPhone 13