Cluster-aware Semi-supervised Learning: Relational Knowledge Distillation Provably Learns Clustering