Reduction-elimination of cyclic phosphate derivatives as a route to alkenes