Managing Great Britain's electricity distribution connection queue: lessons from auction theory and a potential position trading system