In WordPress, how do I get the number of posts next to <?php single_cat_title(''); ?> in the category.ph