batman dc or marvel