OIBench: Benchmarking Strong Reasoning Models with Olympiad in Informatics