Unnamed answers How much funding and researchers were in AI, and AI Safety, in 2018?