A model for the infrared-radio correlation of main sequence galaxies at gigahertz frequencies and its variation with redshift and stellar mass