Robert Pattinson or Nicholas Hoult: Who would make the better Batman?