Asymmetric dihydroxylation and hydrogenation approaches to the enantioselective synthesis of R-(+)-α-lipoic acid