Dell buys automation software provider Gale Technologies