Microsoft tops Amazon in cloud revenue for Oct-Dec 2017