Dell buys software firm Gale Technologies