Google Photos for iOS is updated: many more tools to edit videos