Linking Microdosimetric Measurements to Biological Effectiveness in Ion Beam Therapy: A Review of Theoretical Aspects of MKM and Other Models