2 Atmospheric muon production and propagation