Evaluation of carbonation progress using AIJ model, FEM analysis, and machine learning algorithms