Redis models for Cantina applications