what is tommy john surgery named after