Pat Murphy Named Tucson Padres Manager