Oscar Pistorius leaves prison in Pretoria