Diels–Alder reactions for the rational design of benzo[b]thiophenes: DFT-based guidelines for synthetic chemists