Windows 8.1 to be available on October 17th, free upgrade for existing users