Uncovering urban circadian pulses based on an animated cartogram: the example of Bogotá