Opinion dynamics in multi-agent systems: selected analytic models and verifying simulations