What OpenAI and GitHub’s “AI pair programmer” means for the software industry