Theory of MALDI-TOF Mass Spectrometry