Shadowing in deep inelastic muon scattering on heavy nuclei