Differential virial theorem in density-functional theory in terms of the Pauli potential for spherically symmetric electron densities: illustrative example for the family of Be-like atomic ions