Which of the following theories are currently being argued as the explanation for the source of the negative charge that causes lightning?