Astros hire Randy Flores as new general manager