Binary mixtures of hard platelets: evidence for depletion-induced phase separation