Gemini achieves gold-medal level at the International Collegiate Programming Contest World Finals