Red, Hot & Blue: The music of Cole Porter