Batman sequel is officially Batman: Arkham City