PHP: JSON Pretty Print