Perelman’s lambda-functional and the stability of Ricci-flat metrics