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