On Arthur's multiplicity formula for G₂ [NT seminar]