Regulating with Software Defaults