Optimality Gaps of Several Layout Synthesis Tools Revealed by BSS QUEKO Benchmarks