Analyzing Scrip Systems