Top-ranked Jannik Sinner gets three-month ban in settlement of doping case