Outputting JSON from php for SOLR facet counts