Rationality of Virasoro vertex operator algebras