Oracle’s workforce shrank by about 13% as it bankrolls its AI buildout