Tigers manager AJ Hinch on Justin Verlander's decision to retire