Total synthesis of taxol