Device-independent randomness expansion against quantum side information