Green's theorem in time-reversal acoustics, back propagation and source-receiver redatuming