Coco Gauff lost to Paula Badosa in the Australian Open quarter-finals