A numerical proof by reliable Global Optimization for a problem of covering a rectangle with circles