The spectrum of high energy cosmic ray muons