Atlanta Public Schools’ human resources chief leaving for Georgia Tech