Global Optima for Size Optimization Benchmarks by Branch and Bound Principles