Prompt-muon production in cosmic rays