Facebook's 'machine learning' flags posts by terrorists