Microsoft ships IE10 for Windows 7