Chip Hale says Davey Martinez is "very sharp" as in-game manager