Report: Microsoft produced up to 20,000 Surface mini tablets before scrapping the launch