Synthetic LISA: Simulating time delay interferometry in a model LISA