CFD-driven symbolic identification of algebraic Reynolds-stress models