Математические модели и программный комплекс для интеллектуального анализа и прогнозирования исполнения государственных контрактов