Quantum Chemical Methods for Modeling Covalent Modification of Biological Thiols