Berkeley Engineering alum Gary May named dean of engineering at Georgia Tech