How Long Should a Domain Name Be?