Leadless atrioventricular synchronous pacing in Eisenmenger syndrome