The World Anti-Doping Agency has appealed against the decision to clear Jannik Sinner of doping charges.