Mechanism of Thyroxine Deiodination by Naphthyl-Based Iodothyronine Deiodinase Mimics and the Halogen Bonding Role: A DFT Investigation