what is the gcf of 4 and 12