Efficiently packing unequal disks in a circle: a computational approach which exploits the continous and combinatorial structure of the problem