Obama praises Mandela as a 'hero for the world'