Zaslat SMS: Putting auction theory to work