Models of spontaneous wave function collapse: what they are, and how they can be tested