Disk packing in a square: a new global optimization approach