A helping hand or the long arm of the law? Experimental evidence on what governments can do to formalize firms