Metathesis based approaches for the synthesis of aminocyclitol moieties of trehazolin and trehalostatin, isoaspinonene, leiocarpin c and (+) goniodiol