Obama honors code pioneers Grace Hopper and Margaret Hamilton