Music Theory for Computer Musicians