Measuring mm-wave AGN corona sizes at cosmological distances via microlensing