Modeling and optimization for networked evolutionary games with player exit mechanism: Semi-tensor product of matrices method