Constructive algebraic quantum field theory at the example of integrable models