Zaslat SMS: A health insurance model for analyzing legislative policy options