Why is micros() so much slower than millis()?