Retrosynthesis: Definitions, Applications, and Examples