Text this: Predicting compressive strength of concrete at elevated temperatures and optimizing its mixture proportions