A descending chain condition for groups definable in o-minimal structures