What are the use cases for expressing "device pixels" in a world of widely varying (both across devices and in time) device pixel densities?