When Will We All Die?: The Statistics of Human Extinction