The history of life: A very short introduction by Michael J. Benton