A survey on algorithms for Nash equilibria in finite normal-form games