Man opens fire inside Oklahoma restaurant before ‘armed citizen’ shoots, kills him, police say