use redis caching for device lookups