Gene-engineered models for genetic manipulation and functional analysis of the cardiovascular system in mice.