Is 4gb RAM enough for Windows 10 64 bit?