World leaders bid Mandela goodbye in Pretoria.