Texas police officer slain during traffic stop; manhunt underway