how-many-batman-comics-are-there