double refraction definition