is spiderman dc or marvel