Algebraic aspects of Wightman quantum field theory