number of batman comics