Dropbox and Google Drive: what is file sharing and how can it save you time