The head of the US AI safety agency has resigned