Change "depleted" in "throttled"

"throttled" is more in line with the Linux kernel naming. Anyway,
keep a reference to the term commonly used in literature.
Fix a cut'n'paste typo
Introduce the "replenishment time" concept