Does inducing informal firms to formalize make sense? Experimental evidence from Benin