Microsoft CEO says up to 30% of the company’s code was written by AI