From joint convexity of quantum relative entropy to a concavity theorem of Lieb