Craig Venter has died