Programmers or developers? What’s the difference?