Optimal dynamic auditing based on game theory