An efficient synthesis of 1α, 25-dihydroxy vitamin D3