A life in music by John Williams