Retail distribution of Windows 8 has since been discontinued in favor of Windows 8. What replaced Windows 9?