Conditional Exchangeability Derivation of the Front-Door Formula