The failures of collective action: a formal game-theoretic revisitation of the Olson theory