Thermal models for basaltic volcanism on Io