¿Qué atributo se utiliza para agregar un enlace a un correo electrónico en HTML?