mysql: set random server_id based on ip address of server