Front-Door Formula from Do-Calculus