Austin Hires New Deputy City Manager