competitive programming at the olympic games.