Music Theory For Computer Musicians