The legacy of John Clough in mathematical music theory