Microsoft: Windows 7 available in time for holidays