Construction of realistic gate sizing benchmarks with known optimal solutions