Benchmark ab Initio Energy Profiles for the Gas-Phase SN2 Reactions Y- + CH3X → CH3Y + X- (X,Y = F,Cl,Br). Validation of Hybrid DFT Methods | Synapse