Finite-difference theory for sound propagation in a lined duct with uniform flow using the wave envelope concept