Practical music theory: what is a key?