Music theory for computer musicians