Total synthesis of 1α-hydroxy-vitamin D3