French Christmas market shooter was radical Islamist on government’s radar