how many batman comics are there