The radio-mid-infrared correlation and the contribution of 15-mu m galaxies to the 1.4-GHz source counts