Short, Strong Hydrogen Bonds in the Gas Phase and in Solution: Theoretical Exploration of pKa Matching and Environmental Effects on the Strengths of Hydrogen Bonds and Their Potential Roles in Enzymatic Catalysis