Differential addition on twisted Edwards curves