Do synchronization tools (OneDrive, Google Drive, etc.) take up local hard disk space?