Activity-based protein profiling (Springer, 2012)