UPDATE: Man fatally shot after pointing gun at Tyler police officer