T-Systems und Verimi sollen für die Barmer Karte digitalisieren