Global Lower Bounds for the VLSI Macrocell Floorplanning Problem Using Semidefinite Optimization