Humans are Still Better than ChatGPT: Case of the IEEEXtreme Competition