The AI boom didn't stop Google from hiring nearly 12,000 people