Microsoft buys startup to boost its cloud