What Have We Learned about Deposit Insurance from the Historical Record?