A mathematical formalism to quantify drug-target residence time