On August 1, 2012, Windows 8 (build 9200) was released to manufacturing with the build number 6. When was Microsoft supposed to officially launch Windows 8