Arithmetic Hecke operators as completely positive maps