Model trajectories for a spinning tennis ball: I. The service stroke