Challenges and Paths Towards AI for Software Engineering