Bulky α,β-Dehydroamino Acids: Their Occurrence in Nature, Synthesis, and Applications