On PI-algebras with additional structures: Rationality of Hilbert series and Specht's problem