Rationality of Virasoro vertex operator algebra