Study on vascular restenosis and neointimal formation using a mouse carotid frontal ligation model