Microsoft quarterly profit rises 20% as tech giant pushes to get customers using AI products