Combines mathematical optimization and AI in one software that virtually simulates promising new concrete mixes