Course scheduling at IIMA: Mathematical model and solution method