The formal game theoretic model of the dark forest