when did holland change its name to the netherlands