Finite-dimensional differential algebraic groups and the Picard-Vessiot theory