Gwinnett high school begins search to replace retiring principal