The Surface Mini Was Indeed Cancelled, Microsoft Confirms