Cloud-monitoring company is purchased by Microsoft