Physics-informed ML that predicts concrete strength from chemistry, to cut binder costs and qualify new substitutes