Google will open .dev top-level domain registration on Feb 19