Mattarella discharged from hospital after pacemaker implant surgery