Text this: Informality and optimal public policy