The Boltzmann-Langevin equation derived from the real-time path formalism