Monte Carlo simulations with Symanzik's improved actions in the lattice O(3) non-linear σ-model