Device-independent quantum key distribution