Total synthesis of verticillene, the putative biogenetic precursor of the taxane alkaloids