Onondaga County economic development director Bob Petrovich to retire