John Giddy: A Cornishman and his music