PHP: Print formatted array