Energy spectrum of cosmic-ray muons at sea level