How do you simplify sqrt12 - sqrt3?