An Interval Method to Validate Optimal Solutions of the "Packing Circles in a Unit Square" Problems