Jack in the Box manager stabbed after telling customer to wear mask, Texas police say