Workday shares pop 9% on inclusion in S&P 500