Seasonal variations in the underground muon intensity as seen by MACRO