Design and Optimization of Cementitious Systems with Machine Learning