Mechanism-Based Strategy for Optimizing HaloTag Protein Labeling