Rationality of holomorphic vertex operator algebras