NBC: Texas taqueria customer fatally shoots masked robber and returns money to patrons, police say